Programming Communicating Distributed Reactive Automata: the Weak Synchronous Paradigm
نویسندگان
چکیده
The aim of this paper is to present a new paradigm for reactive and real-time distributed programming: weak synchronism. We deene a small language for communicating reactive automata, and characterize it by an operational semantics. We show that weak synchro-nism provides a deterministic semantics of concurrency and allows physical distributed implementations. This weak synchronous paradigm can then be extended to real-time programming, by deening a more general paradigm, a strong-weak synchronous coupling.
منابع مشابه
COREA: A Synchronous Calculus of Parallel Communicating Reactive Automata
Reactive systems often require temporal and logical safety , concurrency and determinism. Several asynchronous or strong synchronous answers have been proposed to this problem. However, \asyn-chronous" languages such as CSP or CCS generally force the user to choose between determinism and concurrency. On the other hand, strong synchronous implementations are mainly sequential. The aim of this p...
متن کاملProgramming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling
Reactive and real-time systems often require temporal and logical safety, concurrency and determinism. Several asynchronous and strong synchronous answers have been proposed to this problem. However , asynchronous languages such as CSP or CCS force the user to choose between determinism and concurrency, for they base concur-rency on asynchronous implementation models where processes non-determi...
متن کاملThe Multi-Paradigm Synchronous Programming Language LEA
We present uniform translation rules for three synchronous programming languages Lustre, Esterel and Argos, to a common intermediate format called Boolean automata. Such a uniform translation allows to smoothly combine the languages into one multi-paradigm language for programming synchronous reactive systems.
متن کاملNetworks of Preemptible Reactive Processes: An Implementation
Reactive languages such as Esterel, Lustre, Signal , Statecharts etc have found wide use in the development of veriiable software for reactive applications. It has been recently argued that both asynchrony and perfect synchrony are needed for the speciication of complex reactive systems and a paradigm called Communicating Reactive Processes has been proposed for such a uniication. The paradigm ...
متن کاملSpecifying Dynamic Reat-Time Systems in CRP
In this paper, we show that the paradigm of Communicating Reactive Processes (CRP) can be eeectively used for programming dynamic real-time systems. Timed CRP uniies asynchronous and perfectly synchronous mechanisms and can specify hybrid reactive systems. Here, we show that it can be used for specifying strict timing constraints and for achieving the notion of guarantee.
متن کامل